Optimality and condensing of information flow through linear refinement
نویسندگان
چکیده
منابع مشابه
Information Flow Is Linear Refinement of Constancy
Detecting information flows inside a program is useful to check non-interference of program variables, an important aspect of software security. Information flows have been computed in the past by using abstract interpretation over an abstract domain IF which expresses sets of flows. In this paper we reconstruct IF as the linear refinement C → C of a basic domain C expressing constancy of progr...
متن کاملon the effect of linear & non-linear texts on students comprehension and recalling
چکیده ندارد.
15 صفحه اولMathematical Model of Unsteady Groundwater Flow Through Aquifers and Calibration Via a Non-Linear Optimization Technique
In this study, the general partial differential equation of unsteady groundwater flow through non-homogeneous and anisotropic aquifer was solved by the fully implicit finite difference method with control volume approach. The calibration of permeability and storage coefficients as model parameters was performed by a transformation technique and application of Powell's non-linear optimization me...
متن کاملPreserving Information Flow Properties under Refinement
In a stepwise development process, it is essential that system properties that have been already investigated in some phase need not be re-investigated in later phases. In formal developments, this corresponds to the requirement that properties are preserved under refinement. While safety and liveness properties are indeed preserved under most standard forms of refinement, it is well known that...
متن کاملInformation Flow Analysis via Path Condition Refinement
We present a new approach to information flow control (IFC), which exploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existing IFC analysis in which illegal flows are characterized using program dependence graphs (PDG) and path conditions (as described in [12]). Although path conditions provide an already precise abstraction that c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2007
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2007.05.004